Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
They all work hard, without exception.
他们个个努力工作，无一例外。
Wash a dog, comb a dog, Still a dog, remains a dog.
本性难移。
Hi, Ann!
你好，安！